$\forall$$P$, $Q$:$\mathbb{P}$. ($P$ $\Leftarrow\!\Rightarrow$ $Q$) $\Rightarrow$ (($\neg$$P$) $\Leftarrow\!\Rightarrow$ ($\neg$$Q$))